161. The mathematical theory of context free languages
پدیدآورنده : Ginsburg , Seymour ,7291-
موضوع : ، Mathematical linguistics,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
162. Theory of Finite Automata
پدیدآورنده : \ John Carroll, Darrell Long.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal languages,زبانهای صوری,a04,a04,Sequential machine theory.,ماشین حالت‌های متناهی
رده :
E-Book
,
163. Theory of automata /
پدیدآورنده : Arto Salomaa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages.,Power series.,Sequential machine theory.
رده :
QA267
.
5
.
S4
S3
1969
164. Theory of automata
پدیدآورنده : Salomaa, Arto.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Sequential machine theory,، Formal languages,، Power series
رده :
QA
267
.
5
.
S4
.
S3
1969
165. Theory of computation
پدیدآورنده : Brainerd, Walter S
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Sequential machine theory,، Recursive functions,، Programming languages ) Electronic computers (
رده :
QA
267
.
5
.
S4
B68
166. #Theory of computation
پدیدآورنده : #]by[ Walter S. Brainerd ]and[ Lawrence H. Landweber
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Sequential machine theory ،Recursive functions ،Programming languages )Electronic computers(
رده :
#
QA
،#.
S4
,
B68
167. Theory of computation
پدیدآورنده : Brainerd, Walter S
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Sequential machine theory,، Recursive functions,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
B68
168. Theory of finite automata
پدیدآورنده : Carroll, John
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4
C35
1989
169. Theory of finite automata :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Sequential machine theory. ;
170. Theory of finite automata : with an introduction to formal languages
پدیدآورنده : / John Carroll, Darrell Long
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Sequential machine theory,Formal language
رده :
QA276
.
5
.
S4C35
1989
171. Theory of finite automata: with an Introduction to formal languages
پدیدآورنده : Joh, Carroll & Darrel, Long
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (تهران)
موضوع : Sequential machine theory
172. Theory of finite automata : with an introduction to formal languages
پدیدآورنده : Carroll, John
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4C35
1989
173. Theory of finite automata : with and introduction to formal languages
پدیدآورنده : Carroll, John
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Sequential machine theory , Formal languages
رده :
QA
267
.
5
.
S4
C35
174. #Theory of machines and computations
پدیدآورنده : #Edited by Zvi Kohavi and Azaria Paz
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Sequential machine theory -- Congresses ،Formal languages -- Congresses ،Switching theory -- Congresses ،Numerical calculations -- Congresses
رده :
#
QA
،#.
I58
،#
1971
175. Theory of machines and computations; proceedings
پدیدآورنده : Edited by Zvi Kohavi and Azaria Paz
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Switching theory,Congresses ، Numerical calculations
رده :
QA
266
.
I58
1971
176. Theory of machines and computations; proceedings
پدیدآورنده : International Symposium on the Theory of Machines and Computations )1791: Haifa, Israel(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Sequential machine theory-- Congresses,، Formal languages-- Congresses,، Switching theory-- Congresses,، Numerical calculations-- Congresses
رده :
QA
266
.
I58
1971
177. Trace theory for automatic hierarchical verification of speed-independent circuits
پدیدآورنده : David L. Dill.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Integrated circuits -- Very large scale integration.,Sequential machine theory.,Switching circuits.
رده :
TK7868
.
S9
D385
9999
178. Tree automata and languages
پدیدآورنده : edited by Maurice Nivat, Andreas Podelski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Sequential machine theory,، Trees )Graph theory(,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
T74
1992
179. Word processing in groups
پدیدآورنده : Epstein, David B. A.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Sequential machine theory,، Group theory,، Formal languages
رده :
QA
267
.
5
.
S4E6
